#!@shell@

echo Hello world
